predicate function
英 [ˈpredɪkət ˈfʌŋkʃn]
美 [ˈpredɪkət ˈfʌŋkʃn]
网络 判定函数; 谓词函数; 谓语函数
双语例句
- There are four syntactic functions, the most important one of which is predicate function. The other three include adverbial function, complement function and attribute functions, which developed in modern Chinese.
其句法功能有四种，其中最重要的功能是谓语功能，其他句法功能包括状语功能，补语功能和定语功能，其中定语功能是在现代汉语中才发展出来的。 - The author describes three basic meanings of "existence", the prerequisites to understand" existence "as a predicate and the basic semantic function of" existence "as a predicate.
作者指出存在的三个基本含义、理解存在作为谓词的前提条件以及存在作为谓词的基本作用。 - The custom check function needs to return the type boost:: test_tools:: predicate_result.
定制检查函数需要返回boost：：testtools：：predicateresult类型。 - The problem is that the predicate with the fn: upper-case() function prevents the use of XML indexes in DB2.
问题是如果使用包含fn：upper-case（）函数的谓词，就不会使用DB2中的XML索引。 - This sounds like a lot of conditions, but so far it is straightforward: using the column, the index can be found and the spatial predicate is known using the function.
这听起来好像有一大堆的条件，但还是比较简单的：通过使用列可以找到索引，通过使用函数可以知道空间谓词。 - The linear predicate function on a given path is directly used as linear arithmetic representation to construct linear constrains of predicate functions for input variables. Only if the predicate function is nonlinear, the linear arithmetic representation needs to be computed.
该算法将路径中的线性谓词函数直接作为线性算术表示来构造谓词函数关于输入变量的线性约束，仅当谓词函数是输入变量的非线性函数时，才计算其线性算术表示。 - Adopting the concept of distance and using length of numerical value interval to different predicate truths as norm, thereby the function of distance ratio and its special transformation are defined, and from this the individual truth grad function in one-dimensional is found.
采用距离概念，并以对应谓词真值的数值区域的长度为基准，定义了距离比率函数及距离比率的特殊变换，并由此建立了一维情形下个体真值程度函数。 - Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。 - In the first query, the filtering predicate is expressed on the CHAR column "Zip" generated by the XMLTABLE function.
在第一个查询中，过滤谓词是在由XMLTABLE函数生成的CHAR列“Zip”上表达的。 - Acts as the predicate is "X" most important, the most basic syntax function, but its verb overriding is weak, the statement is strong.
充当谓语是X化最重要、最基本的句法功能，但其动词支配性较弱，陈述性较强。